Math'φsics

Menu
  • Acceuil
  • Maths
  • Physique
    • Maths
    • Physique
  • Borne de Singleton

    Formulaire de report


    Borne de singleton Le nombre \(M_q(n,d)\) de mots-code d'un code \(q\)-aire linéaire \(\mathcal C\) de longueur \(n\) et de longueur minimale \(d\) est borné par : $$M_q(n,d)\leqslant q^{n-d+1}$$
    • un code qui atteint cette borne est appelé code à distance séparable maximale (ou MDS)
    •     
    • caractérisation d'un tel code : \(d=n-k+1\)
    •         
    • en général, on a \(d\leqslant n-k+1\)


    Questions de cours

    START
    Ω Basique (+inversé optionnel)
    Recto: Donner un exemple de code MDS de paramètres \([n,1,n]\)
    Verso: Le code à répétition où on répète \(n\) fois chaque symbole.
    Bonus:
    Carte inversée ?:
    END
    START
    Ω Basique (+inversé optionnel)
    Recto: Donner un exemple de code MDS de paramètres \([n,n,1]\)
    Verso: Le code avec tous les éléments de \(\Bbb F_q^n\).
    Bonus:
    Carte inversée ?:
    END
    START
    Ω Basique (+inversé optionnel)
    Recto: Donner un exemple de code MDS de paramètres \([n,n-1,2]\)
    Verso: Le code avec un bit de parité.
    Bonus:
    Carte inversée ?:
    END

    Exercices


    C'est une propriété du cours



    Ecrire la caractérisation pour le code dual : on doit avoir \(d=k+1\).

    On a déjà une inégalité via la Borne de Singleton.

    Pour l'autre inégalité, on procède par l'absurde.

    Le code est linéaire, donc puisque \(d^\perp\leqslant k\), il y a un mot-code qui a \(\geqslant n-k\) zéros.

    Ce mot-code est généré par la Matrice de contrôle.

    En restreignant aux colonnes correspondant à des \(0\), on a un élément du \(\ker\).

    C'est absurde par argument de dimension, ce qui permet de conclure.



    On utilise le fait que la matrice génératrice est la matrice de contrôle du code dual.




    \(k\) colonnes sont toujours indépendantes d'après la question précédente, en particulier les \(4\) premières.



    Le code est systématique.

    Puisque \(k\) colonnes de \(G\) sont linéairement indépendantes, \(B\) ne contient aucun \(0\).

    On a une matrice équivalente avec une répétition.

    Un mot-clé possible a un poids plus petit que la distance minimale, ce qui rend le tout absurde.



    En passant par le Code dual.



  • Rétroliens :
    • Borne de Singleton